Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
101	Noname manuscript No. (will be inserted by the editor) Declarative Representation of Proof Terms Claudio Sacerdoti Coen Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-05-22 05:46:20 Proof theory Mathematical proofs Philosophical logic Logic in computer science Natural deduction Entailment Curry–Howard correspondence Theorem First-order logic Logic Mathematics Mathematical logic
102	Termination Casts: A Flexible Approach to Termination with General Recursion Vilhelm Sj¨oberg Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:25 Proof theory Deduction Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Entailment Valuation Branch point Logic Abstract algebra Mathematics
103	¯ µ-terms Explanation in Natural Language of λµ ˜ Claudio Sacerdoti Coen? ´ Project PCRI, CNRS, Ecole Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2005-12-12 05:17:05 Mathematical logic Lambda calculus Natural deduction Curry–Howard correspondence Cut-elimination theorem Sequent calculus Sequent Theorem Calculus Proof theory Logic Mathematics
104	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer science Proof theory Models of computation Computability theory Natural deduction Simply typed lambda calculus Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematical logic Lambda calculus
105	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics
106	Rule-Based Interactive Fiction (Full Presentation) Chris R. Martens Zachary A. Sparks Claire E. Alvis Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-11-16 11:33:49 Non-classical logic Logic programming Reasoning Proof theory Logic in computer science Prolog Defeasible logic Curry–Howard correspondence Inference Logic Mathematics Mathematical logic
107	Evidence-based Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Parity Parity of a permutation Permutations Symbol Curry–Howard correspondence Model theory Orbifold Mathematics Proof theory Group theory
108	ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Metalogic Entailment Logical consequence Symbol Connection Ordinal number Soundness Natural deduction Curry–Howard correspondence Logic Deduction Proof theory
109	Modal Proofs As Distributed Programs∗ Limin Jia David Walker Princeton University August 31, 2003 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Propositional calculus Deduction Logic in computer science Philosophical logic Natural deduction Curry–Howard correspondence Sequent calculus Entailment Intuitionistic logic Logic Mathematical logic Proof theory
110	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Logic Constructible universe Ordinal number Functor Mathematical logic Mathematics Proof theory